Inhalt des Dokuments

Abgeschlossene Arbeiten

Proving Safety Properties for Session Types with Optional Blocks

Montag, 19. Februar 2018

Erstgutachter/-in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/-in: Dr. Kammüller

Grillere, Matthieu

---